1
Kurt Godel: Collected Works: Volume IV

Kurt Godel: Collected Works: Volume IV

Year:
2013
Language:
english
File:
PDF, 29.59 MB
5.0 / 3.0
english, 2013
4
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

Year:
2008
Language:
english
File:
PDF, 4.42 MB
0 / 0
english, 2008
7
In the Light of Logic

In the Light of Logic

Year:
1998
Language:
english
File:
PDF, 20.89 MB
0 / 0
english, 1998
8
The number systems: Foundations of algebra and analysis

The number systems: Foundations of algebra and analysis

Year:
1964
Language:
english
File:
PDF, 22.29 MB
0 / 0
english, 1964
10
Kurt Gödel: Essays for his Centennial

Kurt Gödel: Essays for his Centennial

Year:
2010
Language:
english
File:
PDF, 1.48 MB
0 / 0
english, 2010
12
Model-Theoretic Logics

Model-Theoretic Logics

Year:
2017
Language:
english
File:
PDF, 44.17 MB
0 / 0
english, 2017
13
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

Year:
2008
Language:
english
File:
PDF, 6.22 MB
0 / 0
english, 2008
14
From Trotsky to Gödel: The Life of Jean van Heijenoort

From Trotsky to Gödel: The Life of Jean van Heijenoort

Year:
2000
Language:
english
File:
PDF, 43.68 MB
0 / 0
english, 2000
15
The Number Systems: foundations of algebra and analysis

The Number Systems: foundations of algebra and analysis

Year:
1964
Language:
english
File:
DJVU, 44.36 MB
0 / 0
english, 1964
18
The Number Systems: Foundations of Algebra and Analysis

The Number Systems: Foundations of Algebra and Analysis

Year:
2005
Language:
english
File:
PDF, 32.80 MB
0 / 5.0
english, 2005
19
Politics, Logic, and Love : The Life of Jean van Heijenoort

Politics, Logic, and Love : The Life of Jean van Heijenoort

Year:
1994
Language:
english
File:
PDF, 29.26 MB
0 / 0
english, 1994
20
Beyond the Pale: The Holocaust in the North Caucasus

Beyond the Pale: The Holocaust in the North Caucasus

Year:
2020
Language:
english
File:
PDF, 3.63 MB
0 / 0
english, 2020
21
Model-theoretic logics

Model-theoretic logics

Year:
1985
Language:
english
File:
PDF, 21.35 MB
0 / 0
english, 1985
22
The number systems_ Foundations of algebra and analysis

The number systems_ Foundations of algebra and analysis

Language:
english
File:
PDF, 23.00 MB
0 / 0
english
23
Model-theoretic logics

Model-theoretic logics

Year:
1985
Language:
english
File:
DJVU, 7.46 MB
0 / 0
english, 1985
28
In the Light of Logic

In the Light of Logic

Year:
1998
Language:
english
File:
DJVU, 3.99 MB
0 / 0
english, 1998
30
Banda Larga no Brasil : passado, presente e futuro

Banda Larga no Brasil : passado, presente e futuro

Year:
2016
Language:
portuguese
File:
MOBI , 6.43 MB
0 / 0
portuguese, 2016
32
Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Language:
english
File:
PDF, 113 KB
0 / 0
english
33
Collected Works. Vol. 4. Correspondence A-G

Collected Works. Vol. 4. Correspondence A-G

Year:
2003
Language:
english
File:
DJVU, 5.42 MB
0 / 0
english, 2003
35
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

Year:
2008
Language:
english
File:
DJVU, 5.45 MB
0 / 0
english, 2008
36
Collected Works. Vol. 5. Correspondence H-Z

Collected Works. Vol. 5. Correspondence H-Z

Year:
2003
Language:
english
File:
DJVU, 5.28 MB
0 / 0
english, 2003
37
In the Light of Logic

In the Light of Logic

Year:
1998
Language:
english
File:
DJVU, 5.98 MB
0 / 0
english, 1998
40
Model-Theoretic Logics

Model-Theoretic Logics

Year:
1985
Language:
english
File:
DJVU, 7.44 MB
0 / 0
english, 1985
41
Alfred Tarski

Alfred Tarski

Year:
2004
Language:
english
File:
DJVU, 5.22 MB
0 / 5.0
english, 2004
43
Infinity in Mathematics

Infinity in Mathematics

File:
PDF, 11.52 MB
0 / 0
44
Microsoft Word - Tarski at CÉ

Microsoft Word - Tarski at CÉ

File:
PDF, 52 KB
0 / 0
45
Mathematical Logic

Mathematical Logic

Year:
2001
Language:
english
File:
PDF, 10.22 MB
5.0 / 0
english, 2001
46
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Year:
1981
Language:
english
File:
DJVU, 2.62 MB
0 / 0
english, 1981
50
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Year:
1981
Language:
english
File:
PDF, 11.87 MB
0 / 0
english, 1981